Lucid Intervals in Insanity

Structured Lucid ∗

Structured Lucid is an ISWIM-like language formed by combining Basic Lucid and USWIM. Structured Lucid is almost a member of the USWIM family, except that a distinction is made between two kinds of function variables: those which denote functions mapping streams (histories) of data objects to streams of data objects, and those which denote streams of functions mapping data objects to data objec...

Insanity

Lucid Representations

This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...

Lucid, Inc.

Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...

Intermittent Assertion Proofs in Lucid

The intermittent assertion technique of Burstall can be formulated and made rigorous in the formal-system/programming-language Lucid, in a very straightforward way. This reinforces the contention that Lucid is a framework within which many sorts of proofs of program properties may be expressed. This paper includes three proofs, all of which are the Lucid versions of intermittent assertion proof...